Theorem for Existence of Complementary Subspaces